logic connective造句

例句与造句

1. Difference from other algebraic structures which are introduced for some logic system , implication algebra is a abstraction of one logic connective , i . e . implicative operator , and other operators in it are all introduced by implicative operator . the main results of this paper is given as the following : 1
   特别值得提出的是，与其它为研究逻辑系统而引入的代数结构不同，蕴涵代数是对一个逻辑联结词，即蕴涵算子(蕴涵逻辑联结词)抽象而得到的，其它算子均是由蕴涵算子诱导而得到。
2. It's difficult to find logic connective in a sentence. 用logic connective造句挺难的